61. Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
پدیدآورنده : Jurgen Richter-Gebert, Dongming Wang, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2061
62. 17 :-CADE--Automated deduction
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Automatic theorem proving ; Congresses ; Logic, Symbolic and mathematical ; Congresses ;
63. 21- CADE--Automated deduction
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Automatic theorem proving ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
64. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده : P. Martin-Lof, G Mints, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
65. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
66. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
385
67. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1988
68. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
69. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
70. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
329
71. Cabal Seminar 77-79: proceedings, Caltech-UCLA Logic Seminar 1977-79
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
839
72. Cabal Seminar : proceedings, Caltech-UCLA Logic Seminar
پدیدآورنده :
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
689
,
839
,
1019
73. Cabal Seminar 76-77: proceedings, Caltech-UCLA Logic Seminar 1976-77
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
689
74. Cabal Seminar 79-81: proceedings, Caltech-UCLA Logic Seminar 1979-81
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1019
75. Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79
پدیدآورنده : edited by A.S. Kechris, D.A. Martin, Y.N. Moschovakis
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
248
.
C35
1977
76. Cabal seminar 76-77: proceedings, caltech UCLA logic seminar 1976-77
پدیدآورنده : edited by A. S. Kechris and Y. N. Moschovakis
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
689
77. Cambridge Summer School in Mathematical Logic; ]papers[
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
337
78. Cambridge Summer School in Mathematical Logic; ]papers[
پدیدآورنده : Canbridge Summer School in Mathematical Logic
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
337
79. Cambridge Summer School in Mathematical Logic ]papers[, hled in Cambridge/England, August, 1-21, 1971
پدیدآورنده : edited by A. R. D. Mathias, H. Rogers
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
C3
1971
80. Carnap's Logical syntax of language
پدیدآورنده : edited by Pierre Wagner
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Carnap, Rudolf,1981-0791.Logische Syntax der Sprache,Congresses ، Logic, Symbolic and mathematical,Congresses ، Grammar, Comparative and general - Syntax,Congresses ، Logical positivism
رده :
B945
.
C163
L6338
2009
